Automated Conjecturing of Frobenius Numbers via Grammatical Evolution
نویسندگان
چکیده
منابع مشابه
Automated Conjecturing of Frobenius Numbers via Grammatical Evolution
Conjecturing formulas and other symbolic relations occurs frequently in number theory and combinatorics. If we could automate conjecturing, we could benefit not only from faster conjecturing but also from finding conjectures previously out of our grasp. Grammatical evolution, a genetic programming technique, can be used for automated conjecturing in mathematics. Concretely, this work describes ...
متن کاملAutomated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited
We discuss a new implementation of, and new experiments with, Fajtlowicz’s Dalmatian conjecture-making heuristic. Our program makes conjectures about relations of real number invariants of mathematical objects. Conjectures in matrix theory, number theory, and graph theory are reported, together with an experiment in using conjectures to automate game play. The program can be used in a way that,...
متن کاملExposing a Bias Toward Short-Length Numbers in Grammatical Evolution
Many automatically-synthesized programs have, like their hand-made counterparts, numerical parameters that need to be set properly before they can show an acceptable performance. Hence, any approach to the automatic synthesis of programs needs the ability to tune numerical parameters efficiently. Grammatical Evolution (GE) is a promising grammar-based genetic programming technique that synthesi...
متن کاملExposing a Bias Toward Short-Length Numbers in Grammatical Evolution
Many automatically-synthesized programs have, like their hand-made counterparts, numerical parameters that need to be set properly before they can show an acceptable performance. Hence, any approach to the automatic synthesis of programs needs the ability to tune numerical parameters efficiently. Grammatical Evolution (GE) is a promising grammar-based genetic programming technique that synthesi...
متن کاملElevated Pitch: Automated Grammatical Evolution of Short Compositions
A system for automatic composition using grammatical evolution is presented. Music is created under the constraints of a generative grammar, and under the bias of an automatic fitness function and evolutionary selection. This combination of two methods is seen to be powerful and flexible. Human evaluation of automatically-evolved pieces shows that a more sophisticated grammar in combination wit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Experimental Mathematics
سال: 2016
ISSN: 1058-6458,1944-950X
DOI: 10.1080/10586458.2016.1175393